#include<stdio.h>
int main()
{
    int a[7], temp;
    float count = 0.0;
    while (scanf("%d%d%d%d%d%d%d", &a[1], &a[2], &a[3], &a[4], &a[5], &a[6], &a[7]) != EOF)
    {
        for (int i = 1; i < 7; i++)
        {
            for (int j = 1; j < 7; j++)
            {
                if (a[j + 1] >= a[j])
                {
                    temp = a[j + 1];
                    a[j + 1] = a[j];
                    a[j] = temp;
                }
            }
        }
        for (int i = 1; i <= 7; i++)
        {
            if (i != 1 && i != 7)
            {
                count += a[i];
            }
        }
        printf("%.2f\n", count / 5.0);
        count = 0;
    }
}